meet infinite distributive

交无穷分配